STATIC ANALYSIS